$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), $L$:($T$ List List). filter($P$;concat($L$)) $\sim$ concat(map($\lambda$$l$.filter($P$;$l$);$L$))